La Nuova fondazione (in inglese New foundations o NF), nella teoria assiomatica degli insiemi, è il sistema assiomatico elaborato da Willard Van Orman Quine nel saggio Nuovi fondamenti per la logica matematica verso gli anni cinquanta-sessanta, riveduto negli anni ottanta, ispirato per molti aspetti alla teoria dei tipi contenuta nei Principia Mathematica di Russell-Whitehead.
«Semplificata la teoria dei tipi per l'applicazione al presente sistema, la teoria funziona come segue. Dobbiamo pensare tutti gli oggetti come stratificati in cosiddetti tipi, in modo tale che il tipo più basso comprenda gli individui, il successivo comprenda le classi di individui, il successivo le classi di classi e così via. In ogni contesto, bisogna considerare che ciascuna variabile ammette unicamente valori di un tipo solo.»
Per le formule di NF (il cui linguaggio formale è analogo a quello della Teoria degli insiemi di Zermelo-Fraenkel (ZFC), sebbene Quine utilizzi l'operatore negazione alternativa di Henry Sheffer come base di connettivi), vige una nozione peculiare, quella di stratificazione. Una formula si dice stratificata se e solo se è possibile sostituire ogni variabile che contiene con un numero naturale, a costo delle seguenti condizioni:
Gli assiomi di NF sono due:
Pur essendo meno nota di ZFC, NF costituisce, grazie alla sua semplicità, una teoria più elegante di ZFC e forse ancora più potente (da Ernst Specker è stato dimostrato che l'assioma della scelta è in contraddizione con NF; non solo: l'assioma dell'infinito è ricavabile dagli assiomi di NF). Tuttavia, essa si presenta come una teoria formale ancora interamente da sondare (per esempio, non è ancora stata provata la sua consistenza), investendo così parte delle ricerche attuali sui fondamenti della matematica.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search